A Cryptographic Analysis of the WireGuard Protocol

WireGuard (Donenfeld, NDSS 2017) is a recently proposed secure network tunnel operating at layer 3. WireGuard aims to replace existing tunnelling solutions like IPsec and OpenVPN, while requiring less code, being more secure, more performant, and easier to use. The cryptographic design of WireGuard is based on the Noise framework. It makes use of a key exchange component which combines long-term and ephemeral Diffie-Hellman values (along with optional preshared keys). This is followed by the use of the established keys in an AEAD construction to encapsulate IP packets in UDP. To date, WireGuard has received no rigorous security analysis. In this paper, we, rectify this. We first observe that, in order to prevent Key Compromise Impersonation (KCI) attacks, any analysis of WireGuard\u27s key exchange component must take into account the first AEAD ciphertext from initiator to responder. This message effectively acts as a key confirmation and makes the key exchange component of WireGuard a 1.5 RTT protocol. However, the fact that this ciphertext is computed using the established session key rules out a proof of session key indistinguishability for WireGuard\u27s key exchange component, limiting the degree of modularity that is achievable when analysing the protocol\u27s security. To overcome this proof barrier, and as an alternative to performing a monolithic analysis of the entire WireGuard protocol, we add an extra message to the protocol. This is done in a minimally invasive way that does not increase the number of round trips needed by the overall WireGuard protocol. This change enables us to prove strong authentication and key indistinguishability properties for the key exchange component of WireGuard under standard cryptographic assumptions

Radiotherapy dose-distribution to the perirectal fat space (PRS) is related to gastrointestinal control-related complications.

Traditionally rectal symptoms following pelvic/prostate radiotherapy are correlated to the dosimetry of the anorectum or a substructure of this. It has been suggested that the perirectal fat space (PRS) surrounding the rectum may also be relevant. This study considers the delineation and dosimetry of the PRS related to both rectal bleeding and control-related toxicity. Initially, a case-control cohort of 100 patients from the RADAR study were chosen based on presence/absence of rectal control-related toxicity. Automated contouring was developed to delineate the PRS. 79 of the 100 auto-segmentations were considered successful. Balanced case-control cohorts were defined from these cases. Atlas of Complication Incidence (ACI) were generated to relate the DVH of the PRS with specific rectal symptoms; rectal bleeding and control-related symptoms (LENT/SOM). ACI demonstrated that control-related symptoms were related to the dose distribution to the PRS which was confirmed with Wilcoxon rank sum test (p < 0.05). To the authors knowledge this is the first study implicating the dose distribution to the PRS to the incidence of control-related symptoms of rectal toxicity

Altered splicing of the BIN1 muscle-specific exon in humans and dogs with highly progressive centronuclear myopathy

Amphiphysin 2, encoded by BIN1, is a key factor for membrane sensing and remodelling in different cell types. Homozygous BIN1 mutations in ubiquitously expressed exons are associated with autosomal recessive centronuclear myopathy (CNM), a mildly progressive muscle disorder typically showing abnormal nuclear centralization on biopsies. In addition, misregulation of BIN1 splicing partially accounts for the muscle defects in myotonic dystrophy (DM). However, the muscle-specific function of amphiphysin 2 and its pathogenicity in both muscle disorders are not well understood. In this study we identified and characterized the first mutation affecting the splicing of the muscle-specific BIN1 exon 11 in a consanguineous family with rapidly progressive and ultimately fatal centronuclear myopathy. In parallel, we discovered a mutation in the same BIN1 exon 11 acceptor splice site as the genetic cause of the canine Inherited Myopathy of Great Danes (IMGD). Analysis of RNA from patient muscle demonstrated complete skipping of exon 11 and BIN1 constructs without exon 11 were unable to promote membrane tubulation in differentiated myotubes. Comparative immunofluorescence and ultrastructural analyses of patient and canine biopsies revealed common structural defects, emphasizing the importance of amphiphysin 2 in membrane remodelling and maintenance of the skeletal muscle triad. Our data demonstrate that the alteration of the muscle-specific function of amphiphysin 2 is a common pathomechanism for centronuclear myopathy, myotonic dystrophy, and IMGD. The IMGD dog is the first faithful model for human BIN1-related CNM and represents a mammalian model available for preclinical trials of potential therapies

Estimating trace deposition time with circadian biomarkers: a prospective and versatile tool for crime scene reconstruction

Linking biological samples found at a crime scene with the actual crime event represents the most important aspect of forensic investigation, together with the identification of the sample donor. While DNA profiling is well established for donor identification, no reliable methods exist for timing forensic samples. Here, we provide for the first time a biochemical approach for determining deposition time of human traces. Using commercial enzyme-linked immunosorbent assays we showed that the characteristic 24-h profiles of two circadian hormones, melatonin (concentration peak at late night) and cortisol (peak in the morning) can be reproduced from small samples of whole blood and saliva. We further demonstrated by analyzing small stains dried and stored up to 4 weeks the in vitro stability of melatonin, whereas for cortisol a statistically significant decay with storage time was observed, although the hormone was still reliably detectable in 4-week-old samples. Finally, we showed that the total protein concentration, also assessed using a commercial assay, can be used for normalization of hormone signals in blood, but less so in saliva. Our data thus demonstrate that estimating normalized concentrations of melatonin and cortisol represents a prospective approach for determining deposition time of biological trace samples, at least from blood, with promising expectations for forensic applications. In the broader context, our study opens up a new field of circadian biomarkers for deposition timing of forensic traces; future studies using other circadian biomarkers may reveal if the time range offered by the two hormones studied here can be specified more exactly

Implications of controlled short-wavelength light exposure for sleep in older adults

<p>Abstract</p> <p>Background</p> <p>Environmental and physiological conditions make older adults more likely to lose synchronization to their local time and experience sleep disturbances. A regular, 24-hour light/dark cycle promotes synchronization. It is now well established that the circadian system is maximally sensitive to short-wavelength (blue) light. The purpose of the present study was to measure dose effectiveness (amounts and durations) of short-wavelength (blue) light for stimulating the circadian systems of older adults. We investigated the impact of six corneal irradiances (0.7 to 72 μW/cm²) of 470-nm light on nocturnal melatonin production. Nine participants, each over 50 years of age completed a within-subjects study. Each week, participants were exposed to one of the six irradiances of 470-nm light for 90 minutes.</p> <p>Findings</p> <p>A two-factor (6 corneal irradiances × 10 exposure durations), within-subjects analysis of variance (ANOVA) was conducted using the melatonin suppression levels. The ANOVA revealed a significant main effect of corneal irradiance (F_{5, 30}= 9.131, p < 0.0001), a significant main effect of exposure duration (F_{9, 54}= 5.731, p < 0.0001), and a significant interaction between these two variables (F_45,270= 1.927, p < 0.001). Post hoc t-tests revealed that corneal irradiances as low as 2 μW/cm²reliably suppressed melatonin after 90-minute exposure whereas 0.7 μW/cm²did not.</p> <p>Conclusions</p> <p>Sleep disorders are common and a serious problem for millions of older adults. The present results showed that comfortable, precise and effective doses of light can be prescribed to older adults to reliably stimulate the circadian system that presumably would promote entrainment and, thus, regular sleep. Field studies on the impact of short-wavelength-light doses on sleep efficiency in older adults should be performed.</p

Simplifying Consent for HIV Testing Is Associated with an Increase in HIV Testing and Case Detection in Highest Risk Groups, San Francisco January 2003–June 2007

Populations at highest risk for HIV infection face multiple barriers to HIV testing. To facilitate HIV testing procedures, the San Francisco General Hospital Medical Center eliminated required written patient consent for HIV testing in its medical settings in May 2006. To describe the change in HIV testing rates in different hospital settings and populations after the change in HIV testing policy in the SFDH medical center, we performed an observational study using interrupted time series analysis.Data from all patients aged 18 years and older seen from January 2003 through June 2007 at the San Francisco Department of Public Health (SFDPH) medical care system were included in the analysis. The monthly HIV testing rate per 1000 had patient-visits was calculated for the overall population and stratified by hospital setting, age, sex, race/ethnicity, homelessness status, insurance status and primary language.By June 2007, the average monthly rate of HIV tests per 1000 patient-visits increased 4.38 (CI, 2.17-6.60, p<0.001) over the number predicted if the policy change had not occurred (representing a 44% increase). The monthly average number of new positive HIV tests increased from 8.9 (CI, 6.3-11.5) to 14.9 (CI, 10.6-19.2, p<0.001), representing a 67% increase. Although increases in HIV testing were seen in all populations, populations at highest risk for HIV infection, particularly men, the homeless, and the uninsured experienced the highest increases in monthly HIV testing rates after the policy change.The elimination of the requirement for written consent in May 2006 was associated with a significant and sustained increase in HIV testing rates and HIV case detection in the SFDPH medical center. Populations facing the higher barriers to HIV testing had the highest increases in HIV testing rates and case detection in response to the policy change

Improving adherence to surveillance and screening recommendations for people with colorectal cancer and their first degree relatives: a randomized controlled trial

<p>Abstract</p> <p>Background</p> <p>Colorectal cancer (CRC) is among the leading causes of cancer-related morbidity and mortality worldwide. Despite clinical practice guidelines to guide surveillance care for those who have completed treatment for this disease as well as screening for first degree relatives of people with CRC, the level of uptake of these recommendations remains uncertain. If outcomes for both patients and their families are to be improved, it is important to establish systematic and cost-effective interventions to improve adherence to guideline recommendations for CRC surveillance and screening.</p> <p>Methods/Design</p> <p>A randomized controlled trial will be used to test the effectiveness of a print-based intervention to improve adherence to colonoscopy surveillance among people with CRC and adherence to CRC screening recommendations among their first degree relatives (FDRs). People diagnosed with CRC in the past 10 months will be recruited through a population-based cancer registry. Consenting participants will be asked if their first degree relatives might also be willing to participate in the trial. Information on family history of CRC will be obtained from patients at baseline. Patients and their families will be randomized to either minimal ethical care or the print-based intervention. The print-based intervention for FDRs will be tailored to the participant's level of risk of CRC as determined by the self-reported family history assessment. Follow up data on surveillance and screening participation will be collected from patients and their FDRs respectively at 12, 24 and 36 months' post recruitment. The primary analyses will relate to comparing levels of guideline adherence in usual care group versus print-based group in the patient sample and the FDR sample respectively.</p> <p>Discussion</p> <p>Results of this study will provide contribute to the evidence base about effective strategies to a) improve adherence to surveillance recommendation for people with CRC; and b) improve adherence to screening recommendation for FDRs of people with CRC. The use of a population-based cancer registry to access the target population may have significant advantages in increasing the reach of the intervention.</p> <p>Trial registration</p> <p>This trial is registered with the Australian and New Zealand Clinical Trials Registry Registration Number (ACTRN): <a href="http://www.anzctr.org.au/ACTRN12609000628246">ACTRN12609000628246</a>.</p

Inhalation of β2 agonists impairs the clearance of nontypable Haemophilus influenzae from the murine respiratory tract

BACKGROUND: Nontypable Haemophilus influenzae (NTHi) is a common bacterial pathogen causing human respiratory tract infections under permissive conditions such as chronic obstructive pulmonary disease. Inhalation of β2-receptor agonists is a widely used treatment in patients with chronic obstructive pulmonary disease. The aim of this study was to determine the effect of inhalation of β2 agonists on the host immune response to respiratory tract infection with NTHi. METHODS: Mouse alveolar macrophages were stimulated in vitro with NTHi in the presence or absence of the β2 receptor agonists salmeterol or salbutamol. In addition, mice received salmeterol or salbutamol by inhalation and were intranasally infected with NTHi. End points were pulmonary inflammation and bacterial loads. RESULTS: Both salmeterol and salbutamol inhibited NTHi induced tumor necrosis factor-α (TNFα) release by mouse alveolar macrophages in vitro by a β receptor dependent mechanism. In line, inhalation of either salmeterol or salbutamol was associated with a reduced early TNFα production in lungs of mice infected intranasally with NTHi, an effect that was reversed by concurrent treatment with the β blocker propranolol. The clearance of NTHi from the lungs was impaired in mice treated with salmeterol or salbutamol, an adverse effect that was prevented by propranolol and independent of the reduction in TNFα. CONCLUSION: These data suggest that inhalation of salmeterol or salbutamol may negatively influence an effective clearance of NTHi from the airways

A phase II trial of the oral mTOR inhibitor everolimus in relapsed aggressive lymphoma

The phosphatidylinositol 3-kinase signal transduction pathway members are often activated in tumor samples from patients with non-Hodgkin's lymphoma (NHL). Everolimus is an oral agent that targets the raptor mammalian target of rapamycin (mTORC1). The goal of this trial was to learn the antitumor activity and toxicity of single-agent everolimus in patients with relapsed/refractory aggressive NHL. Patients received everolimus 10 mg PO daily. Response was assessed after two and six cycles, and then every three cycles until progression. A total of 77 patients with a median age of 70 years were enrolled. Patients had received a median of three previous therapies and 32% had undergone previous transplant. The overall response rate (ORR) was 30% (95% confidence interval: 20–41%), with 20 patients achieving a partial remission and 3 a complete remission unconfirmed. The ORR in diffuse large B cell was 30% (14/47), 32% (6/19) in mantle cell and 38% (3/8) in follicular grade 3. The median duration of response was 5.7 months. Grade 3 or 4 anemia, neutropenia and thrombocytopenia occurred in 14, 18 and 38% of patients, respectively. Everolimus has single-agent activity in relapsed/refractory aggressive NHL and provides proof-of-concept that targeting the mTOR pathway is clinically relevant